Using IVI drivers to achieve-instrument interchangeabilityYUAN, Qingfeng; QING, Honglei; LU, Hui et al.Proceedings of SPIE, the International Society for Optical Engineering. 2006, pp 63580L.1-63580L.7, issn 0277-786X, isbn 0-8194-6453-8, 2VolConference Paper

New approach for device driver development : Devil+ languageYINGXI YU; MINGYUAN ZHU; SHUOYING CHEN et al.Lecture notes in computer science. 2005, pp 418-422, issn 0302-9743, isbn 3-540-28128-2, 1Vol, 5 p.Conference Paper

Lazy abstraction with interpolantsMCMILLAN, Kenneth L.Lecture notes in computer science. 2006, pp 123-136, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 14 p.Conference Paper

Initial evaluation of a user-level device driver frameworkELPHINSTONE, Kevin; GÖTZ, Stefan.Lecture notes in computer science. 2004, pp 256-269, issn 0302-9743, isbn 3-540-23003-3, 14 p.Conference Paper

Investigating Virtual Passthrough I/O on Commodity DevicesLEI XIA; LANGE, Jack; DINDA, Peter et al.Operating systems review. 2009, Vol 43, Num 3, pp 83-94, issn 0163-5980, 12 p.Conference Paper

Thorough static analysis of device driversBALL, Thomas; BOUNIMOVA, Ella; COOK, Byron et al.Operating systems review. 2006, Vol 40, Num 4, pp 73-85, issn 0163-5980, 13 p.Conference Paper

Component-based design approach for multicore SoCsCESARIO, W; BAGHDADI, A; GAUTHIER, L et al.Design automation conference. 2002, pp 789-794, isbn 1-58113-461-4, 6 p.Conference Paper

Repair of boolean programs with an application to CGRIESMAYER, Andreas; BLOEM, Roderick; COOK, Byron et al.Lecture notes in computer science. 2006, pp 358-371, issn 0302-9743, isbn 3-540-37406-X, 1Vol, 14 p.Conference Paper

Improvement of space utilization in NAND flash memory storagesRYU, Yeonseung; LEE, Kangsun.Lecture notes in computer science. 2005, pp 766-775, issn 0302-9743, isbn 3-540-30881-4, 1Vol, 10 p.Conference Paper

Open annotations on multimedia Web resources : Multimedia on the WebHASLHOFER, Bernhard; SANDERSON, Robert; SIMON, Rainer et al.Multimedia tools and applications. 2014, Vol 70, Num 2, pp 847-867, issn 1380-7501, 21 p.Article

Security Framework in Common Control Channel for Personal/Portable Devices over TV White SpacesHYUN SUNG KIM; CHO, Sunghwan; JANG, Donghyun et al.Parallel and distributed processing techniques and applications. International conferenceWorldComp'2010. 2010, pp 475-478, isbn 1-60132-156-2 1-60132-157-0 1-60132-158-9, 4 p.Conference Paper

Improving machine virtualisation with 'hotplug memory' : 17th Symposium on Computer Architecture and High-Performance Computing (SBAC-PAD)PINTER, Shlomit S; ARIDOR, Yariv; SHULTZ, Steven S et al.International journal of high performance computing and networking (Print). 2008, Vol 5, Num 4, pp 241-250, issn 1740-0562, 10 p.Article

Robustesse des logiciels exécutifs : Caractérisation de l'impact de pilotes défaillants par injection de fautesALBINET, Arnaud; ARLAT, Jean; FABRE, Jean-Charles et al.TSI. Technique et science informatiques. 2008, Vol 27, Num 9-10, pp 1253-1286, issn 0752-4072, 34 p.Article

USB printer driver development for handheld devicesDAMODHARAN, T. K; RHYMEND UTHARIARAJ, V.Information technology interfaces. 2004, pp 599-602, isbn 953-96769-9-1, 4 p.Conference Paper

Implementation frameworks for IEEE 802.11s systemsGARROPPO, Rosario G; GIORDANO, Stefano; TAVANTI, Luca et al.Computer communications. 2010, Vol 33, Num 3, pp 336-349, issn 0140-3664, 14 p.Article

PSiS MobileANACLETO, Ricardo; LUZ, Nuno; FIGUEIREDO, Lino et al.Wireless networks. International conferenceWorldComp'2010. 2010, pp 189-195, isbn 1-60132-150-3 1-60132-164-3 1-60132-165-1, 7 p.Conference Paper

Integrating Concurrency Control and Energy Management in Device DriversKLUES, Kevin; HANDZISKI, Vlado; CHENYANG LU et al.Operating systems review. 2007, Vol 41, Num 6, pp 251-263, issn 0163-5980, 13 p.Conference Paper

Solving the starting problem : Device drivers as self-describing artifactsSPEAR, Michael F; ROEDER, Tom; HODSON, Orion et al.Operating systems review. 2006, Vol 40, Num 4, pp 45-57, issn 0163-5980, 13 p.Conference Paper

Understanding collateral evolution in linux device driversPADIOLEAU, Yoann; LAWALL, Julia L; MULLER, Gilles et al.Operating systems review. 2006, Vol 40, Num 4, pp 59-71, issn 0163-5980, 13 p.Conference Paper

Improving Robustness Testing of COTS OS ExtensionsSARBU, Constantin; JOHANSSON, Andréas; FRAIKIN, Falk et al.Lecture notes in computer science. 2006, pp 120-139, issn 0302-9743, isbn 978-3-540-68724-5, 1Vol, 20 p.Conference Paper

Self-stabilizing Device DriversDOLEV, Shiomi; YAGEL, Reuven.Lecture notes in computer science. 2006, pp 276-289, issn 0302-9743, isbn 3-540-49018-3, 1Vol, 14 p.Conference Paper

Encapsulation and Entity-Based Approach of Interconnection Between Sensor Platform and Middleware of Pervasive ComputingLIM, Shinyoung; HELAL, Abdelsalam.Lecture notes in computer science. 2006, pp 500-515, issn 0302-9743, isbn 3-540-46287-2, 1Vol, 16 p.Conference Paper

Developing an integrated wireless system for fully immersive virtual reality environmentsFAIDLEY, Galen; HERO, Jayme; LEE, Kukjin et al.International Symposium on Wearable Computers. 2004, pp 178-179, isbn 0-7695-2186-X, 1Vol, 2 p.Conference Paper

Extending futex for Kernel to User NotificationBAHMANN, Helge; FROITZHEIM, Konrad.Operating systems review. 2008, Vol 42, Num 5, pp 18-26, issn 0163-5980, 9 p.Article

Automatic generation of hardware/software interface with product-specific debugging toolsYUN, Jeong-Han; KIM, Gunwoo; SON, Choonho et al.Lecture notes in computer science. 2006, pp 742-753, issn 0302-9743, isbn 3-540-36679-2, 1Vol, 12 p.Conference Paper